Emendation of Plato Gorgias 503D

Gorgias-B: Argumentation in Practice

Gorgias-B is a new tool that supports a methodology for the development of real life applications. It can be used by nonargumentation experts generating and testing automatically the target argumentation theory in Gorgias.

Truth in the Emendation

More than two-thirds of the Treatise on the Emendation of the Intellect is about truth. Spinoza explains why true ideas are preferable (TIE §§18–29), how to begin forming true ideas (TIE §§30–48), and how to distinguish true ideas from other kinds of ideas (TIE §§50–90). Spinoza’s account of truth is therefore our key to the Emendation. It would thus be disheartening if Ed Curley were right tha...

Languages of Art: An Emendation

we may allow further that (2) makes no mention of propositions. These premises, however, do not warrant us in inferring that (1) does not imply that propositions exist. If the possibility of using (2) as a paraphrase of (1) has shown that (1) does not imply that propositions exist then the possibility of using (11) as a paraphrase of (9) would have shown that (9) does not imply that Socrates ex...

Gorgias-C: Extending Argumentation with Constraint Solving

GORGIAS-C is a system implementing a logic programming framework of argumentation that integrates together preference reasoning and constraint solving. The framework of argumentation with preference reasoning [1, 2] was first implemented in the GORGIAS system3 which has mainly been used in the multi-agent domain [2–4], medical informatics [5] and network security [6]. We have extended this fram...

Shame and Ambiguity in Plato’s Gorgias